Rigorous Graphical Modelling of Movement in Collective Adaptive Systems
نویسندگان
چکیده
Formal modelling provides valuable intellectual tools which can be applied to the problem of analysis and optimisation of systems. In this paper we present a novel software tool which provides a graphical approach to modelling of Collective Adaptive Systems (CAS) with constrained movement. The graphical description is translated into a model that can be analysed to understand the dynamic behaviour of the system. This generated model is expressed in CARMA, a modern feature-rich modelling language designed specifically for modelling CAS. We demonstrate the use of the software tool with an example scenario representing carpooling, in which travellers group together and share a car in order to reach a common destination. This can reduce their travel time and travel costs, whilst also ameliorating traffic congestion by reducing the number of vehicles on the road.
منابع مشابه
Modelling movement for collective adaptive systems with CARMA
Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system or environment that can change over time. When these components operate in space, then their behaviour can be affected by where they are located in that space. Examples include the possibility of communication between ...
متن کاملCollective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis
This report documents the program and the outcomes of Dagstuhl Seminar 14512 “Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis”. Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adapti...
متن کاملA Robust Feedforward Active Noise Control System with a Variable Step-Size FxLMS Algorithm: Designing a New Online Secondary Path Modelling Method
Several approaches have been introduced in literature for active noise control (ANC)systems. Since Filtered-x-Least Mean Square (FxLMS) algorithm appears to be the best choice as acontroller filter. Researchers tend to improve performance of ANC systems by enhancing andmodifying this algorithm. This paper proposes a new version of FxLMS algorithm. In many ANCapplications an online secondary pat...
متن کاملModelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. This chapter presents CARMA, a language recently defined to support specifi...
متن کاملModelling collective movement and transport network formation in living systems
Bottinelli, A. 2016. Modelling collective movement and transport network formation in living systems. Uppsala Dissertations in Mathematics 96. 56 pp. Uppsala: Department of Mathematics. ISBN 978-91-506-2599-8. The emergence of collective patterns from repeated local interactions between individuals is a common feature to most living systems, spanning a variety of scales from cells to animals an...
متن کامل